$\forall$$s$:DSet, $a$:$\mid$$s$$\mid$. ($a$ (=$_{b}$) $a$) = tt $\in$ $\mathbb{B}$